一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

船舶碰撞后的处理

从船舶碰撞责任的基础知识出发，结合运实务，指出了碰撞发生后的处理程序，对船长及船东在发生此类海事后的处理方法提供了参考，有一定的指导意义。     

铁路货车车号自动识别标签安装中的网络化管理

主要论述了铁路货车标签安装网络在标签安装中的应用,货车标签安装网络的结构与工作原理以及实施过程中的安全考虑。     

CRH6型城际动车组抗侧滚扭杆装置的研制

介绍了抗侧滚扭杆装置工作原理,从抗侧滚扭杆设计方案、受力分析、刚度计算、强度分析等方面阐述CRH6型城际动车组抗侧滚扭杆装置。试验结果表明:该型抗侧滚扭杆装置的结构、刚度、强度及制造工艺等完全满足CRH6型城际动车组抗侧滚扭杆的运用要求,经过1000万次疲劳试验,该装置未发生任何问题。     

交流电力机车网侧变流系统实时仿真

以HXD1型机车为原型,在Matlab/Simulink仿真环境下,构建由变压器模型、四象限变流器开关函数模型以及中间直流回路模型,形成网侧变流系统实时仿真模型。采用dSPACE硬件实现了四象限变流器控制程序和网侧变流系统的闭环实时仿真,最后将实时仿真结果与试验数据对比,验证了模型的准确性。     

基于易损性能分析的山店江大桥高墩抗震评估技术研究

以汝郴高速公路山店江大桥1号高墩为工程背景,通过对钢筋混凝土截面的弯矩-曲率分析确定高墩的损伤指标,利用midas/civil软件进行非线性时程分析,得到该桥墩的理论易损性曲线,并讨论壁厚和基础约束刚度2个参数对桥墩易损曲线的影响。研究成果可为预测结构的抗震性能、结构的抗震设计、加固和维修提供参考。     

基于CFD的内河船深浅水中操纵性预报

由于岸壁效应和浅水效应,内河船舶在限制水域作操纵运动时通常受到比在开阔水域中更大的水动力.这些水动力对船舶操纵性具有不利影响,有可能导致船舶碰撞或触底等海上事故.因此,为了在船舶设计阶段预报其操纵性能,考虑浅水效应和岸壁效应以准确计算内河船舶操纵运动水动力非常重要.本文基于CFD方法,通过对粘性绕流进行数值模拟,对长江中营运的三艘内河船舶的操纵运动水动力进行计算.首先,为了验证数值方法的可靠性,对标模KVLCC2纯横荡和纯首摇试验的水动力进行计算,并将计算结果与现有的试验数据进行对比.然后,对三艘内河船舶在不同水深下的静舵试验、纯横荡和纯首摇试验进行数值模拟,计算得到水动力及相应的线性水动力导数.最后,基于计算得到的水动力导数,获得Nomoto模型中的操纵性参数,对比分析三艘内河船舶在深浅水中的操纵性能.结果表明,本文方法可以揭示不同水深下三艘内河船舶的操纵性变化趋势.该方法可为船舶设计阶段内河船舶深浅水中的操纵性预报提供一种实用的工具.     

基于模糊集合理论的船舶碰撞危险度模型

为了解决多船避碰决策过程中避让行动优先级问题,提出一种基于模糊集合理论的船舶碰撞危险度确定模型。选取最近会遇距离、最近会遇时间、船间距离、相对方位、船速比5个因素建立碰撞危险度影响因素集,并确定各因素评价集、评价指标以及各参数的隶属度函数,经模糊综合评价得到船舶碰撞危险度计算模型。设置两船交叉会遇以及多船交叉会遇2种会遇局面进行仿真实验,实验结果验证了该模型的有效性。     

超大规模土石方工程施工组织与管理

为解决超大规模土石方工程施工组织管理难度大、强度高的问题,对施工过程中技术、质量、进度以及造价控制进行统筹管理。依托大小鱼山围填海工程,分析超大规模土石方工程在施工过程中各阶段、各方面的重难点,针对性地制定解决方案。通过提前策划,重视细节,强化事前计划、事中控制、事后分析的全过程管控,在质量、进度、安全、合同造价、计量等管理中创新管理方法,最终实现石料供需平衡。     

一种支持用户快速移动的二层数据包转发策略

针对铁路无线Mesh网络这种用户移动速度快、Mesh节点间切换频繁的应用场景,研究一种高效的数据通信方案.虽然二层转发相比三路由具有更好的移动性支持,但本文通过形式化分析发现,网桥的二层数据包转发策略可保证的路径更新延时为CAM表项的超时阈值timeout,不适用于铁路无线Mesh网络,然后提出一种主动位置告知策略实现转发路径的实时更新,并在此基础上设计一种基于端口记忆和主动位置告知的二层数据包转发策略CFP-ALN(CAM based Forwarding Policy with Active Location Notice).研究表明,策略CFP-ALN不仅可保证快速移动用户最低的切换延迟,并且只需要增加一个单播数据包的网络开销,具有良好的实用性.